commutative ring with unity